Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część I"
Logika matematyczna
Rachunek zdań – badanie związków logicznych pomiędzy zdaniami.
Aby stosować logikę matematyczną, zdania muszą być albo prawdziwe, albo fałszywe (nie musimy jednak znać wartości logicznej zdania). Zdania mogą odnosić się do rzeczywistości.
Nie wszystkie zdania są jednak zdaniami w logice matematycznej!
Przykłady zdań:
„Księżyc krąży wokół Ziemi” - zdanie prawdziwe
„Każdy pies ma osiem łap” - zdanie nie prawdziwe
„Jutro będzie padał deszcz” - zdanie ma niewiadomą wartość logiczną (hipoteza)
„Informatyka jest zabawna” - zdanie niejednoznaczne, nie jest to więc zdanie logiczne, gdyż nie jest ani prawdziwe, ani fałszywe